Nuprl Definition : f-try
11,40
postcript
pdf
Try(
e
) == (loc(
e
)
L
) & @
e
("$x"
"$try")
latex
clarification:
f-try{$x,$try}(
es
;
L
;
e
) == (es-loc(
es
;
e
)
L
Id) & es-change-to(
es
;Id;"$x";
e
;"$try")
latex
Definitions
P
&
Q
,
(
x
l
)
,
loc(
e
)
,
@
e
(
x
v
)
,
Id
,
"$x"
FDL editor aliases
f-try
origin
L) & @e("$x"
"$try")
L Id) & es-change-to(es;Id;"$x";e;"$try") L) & @e("$x""$try")
L Id) & es-change-to(es;Id;"$x";e;"$try") l)v)